<div>[start]</div><div><style>body{font-family:monospace;}</style></div><div>[GUI@1306180749805]: ciao</div><div>[GUI@1306180754027]: exit</div><div>[GUI@1306180756000]: quit</div>